group of order 72 is not simple